java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files zeroconf.prism --model-input-type prism --property-input-files zeroconf.props --property-input-names correct_max --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=1000,K=8,reset=false
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property correct_max
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 17715 17714
build-model-states-explored 44147 26433
build-model-states-explored 71467 27319
build-model-states-explored 97548 26082
build-model-states-explored 124753 27205
build-model-states-explored 149398 24645
build-model-states-explored 176461 27063
build-model-states-explored 203461 27000
build-model-states-explored 230697 27236
build-model-states-explored 257055 26358
build-model-states-explored 283846 26791
build-model-states-explored 304909 21063
build-model-states-explored 331747 26838
build-model-states-explored 358621 26874
build-model-states-explored 385617 26996
build-model-states-explored 412269 26652
build-model-states-explored 439221 26952
build-model-states-explored 464635 25414
build-model-states-explored 489523 24888
build-model-states-explored 516690 27167
build-model-states-explored 543165 26475
build-model-states-explored 570385 27220
build-model-states-explored 585570 15184
build-model-states-explored 612784 27215
build-model-states-explored 639978 27194
build-model-states-explored 667269 27291
build-model-states-explored 694381 27111
build-model-states-explored 721545 27165
build-model-states-explored 748718 27173
build-model-states-explored 775526 26808
build-model-states-explored 801889 26363
build-model-states-explored 828674 26784
build-model-states-explored 855839 27166
build-model-states-explored 883098 27259
build-model-states-explored 910362 27264
build-model-states-explored 934700 24338
build-model-states-explored 961837 27137
build-model-states-explored 988872 27035
build-model-states-explored 1015850 26978
build-model-states-explored 1042824 26974
build-model-states-explored 1068674 25850
build-model-states-explored 1095799 27125
build-model-states-explored 1122881 27082
build-model-states-explored 1144261 21380
build-model-states-explored 1153116 8855
build-model-states-explored 1180120 27004
build-model-states-explored 1207354 27234
build-model-states-explored 1233380 26026
build-model-states-explored 1260181 26801
build-model-states-explored 1287106 26925
build-model-states-explored 1314089 26982
build-model-states-explored 1341340 27251
build-model-states-explored 1368403 27064
build-model-states-explored 1395458 27054
build-model-states-explored 1422353 26896
build-model-states-explored 1449218 26865
build-model-states-explored 1476230 27012
build-model-states-explored 1503422 27192
build-model-states-explored 1530399 26977
build-model-states-explored 1557249 26850
build-model-states-explored 1582640 25391
build-model-states-explored 1609527 26887
build-model-states-explored 1636821 27294
build-model-states-explored 1663567 26746
build-model-states-explored 1690577 27009
build-model-states-explored 1717503 26927
build-model-states-explored 1744460 26957
build-model-states-explored 1771523 27062
build-model-states-explored 1798739 27217
build-model-states-explored 1825136 26397
build-model-states-explored 1847693 22557
build-model-done 1870338 71
iterating
iterating-progress-unbounded 19 6.287050373733568E24 1
iterating-progress-unbounded 42 5.675701686187035E11 2
iterating-progress-unbounded 65 3.81737357411868E7 3
iterating-progress-unbounded 87 2032.7591275284553 4
iterating-progress-unbounded 110 380.97046497070215 5
iterating-progress-unbounded 133 29.807200223125786 6
iterating-progress-unbounded 155 0.1329599933971671 7
iterating-progress-unbounded 177 0.0014547229728737814 8
iterating-progress-unbounded 200 0.00137287334143685 9
iterating-progress-unbounded 223 2.0410173174656326E-5 10
iterating-progress-unbounded 245 2.0410173174656326E-5 11
iterating-progress-unbounded 268 1.9053986341416127E-5 12
iterating-done 287 12
model-checking-done 92
command-check-result-is 4.801413635072374E-8 correct_max